Using Overloading to Express Distinctions Between Evaluators
نویسنده
چکیده
Evaluators, also called \interpreters", play a variety of roles in the study of programming languages. Given this, it's surprising that we don't have a better framework for developing evaluators and specifying their relationship to each other. This paper shows that type classes in HASKELL provide an excellent framework for exploring relationships between evaluators, using abstract interpretation as a motivating example.
منابع مشابه
Using Overloading to Express Distinctions Between Evaluators 1
Evaluators, also called \interpreters", play a variety of roles in the study of programming languages. Given this, it's surprising that we don't have a better framework for developing evaluators and specifying their relationship to each other. This paper shows that type classes in HASKELL provide an excellent framework for exploring relationships between evaluators, using abstract interpretatio...
متن کاملAvoiding IS-A Overloading: The Role of Identity Conditions in Ontology Design
The upper-level taxonomic structure of current ontologies is often quite complicated and hard to understand. In this paper I analyze the ontological nature of upper-level categories, considering the necessity of splitting them according to more subtle distinctions or the opportunity of excluding them because of their limited organizational role.
متن کاملEvaluating Design Solutions Using Crowds
Crowds can be used to generate and evaluate design solutions. To increase a crowdsourcing system’s effectiveness, we propose and compare two evaluation methods, one using five-point Likert scale rating and the other prediction voting. Our results indicate that although the two evaluation methods correlate, they have different goals: whereas prediction voting focuses evaluators on identifying th...
متن کاملHow to Express C++ Concepts in Fortran90
This paper summarizes techniques for emulating in Fortran90 the most important object-oriented concepts of C++: classes (including abstract data types, encapsulation and function overloading), inheritance and dynamic dispatching.
متن کاملSome Ontological Principles for Designing Upper Level Lexical Resources
The purpose of this paper is to explore some semantic problems related to the use of linguistic ontologies in information systems, and to suggest some organizing principles aimed to solve such problems. The taxonomic structure of current ontologies is unfortunately quite complicated and hard to understand, especially for what concerns the upper levels. I will focus here on the problem of ISA ov...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
عنوان ژورنال:
- Inf. Process. Lett.
دوره 48 شماره
صفحات -
تاریخ انتشار 1993